• Conference Object  

      Extending SATPLAN to multiple agents 

      Dimopoulos, Yannis; Hashmi, M. A.; Moraïtis, Pavlos (2011)
      Multi-agent planning is a core issue in the multi-agent systems field. In this work we focus on the coordination of multiple agents in a setting where agents are able to achieve individual goals that may be either independent, ...
    • Article  

      μ-SATPLAN: Multi-agent planning as satisfiability 

      Dimopoulos, Yannis; Hashmi, M. A.; Moraïtis, Pavlos (2012)
      Planning is a fundamental issue in multi-agent systems. In this work we focus on the coordination of multiple agents in two different settings. In the first, agents are able to attain individual goals that are necessary ...